shellDBus: Fix LaunchExtensionPreferences()

Commit 5dedc5d8ba4f0e6fa removed "unused" functionality which was
still used by that method. Launch it via GAppInfo instead, which
still supports passing URIs.

https://bugzilla.gnome.org/show_bug.cgi?id=724813

diff --git a/js/ui/shellDBus.js b/js/ui/shellDBus.js
index 2bc149c62439d739cd06296804c256cb534fb964..6dbb5aeb6b5c58611eade1b331c329c2b54dda3f 100644 (file)
--- a/js/ui/shellDBus.js
+++ b/js/ui/shellDBus.js
@@ -371,8 +371,10 @@ const GnomeShellExtensions = new Lang.Class({
     LaunchExtensionPrefs: function(uuid) {
         let appSys = Shell.AppSystem.get_default();
         let app = appSys.lookup_app('gnome-shell-extension-prefs.desktop');
-        app.launch(global.display.get_current_time_roundtrip(),
-                   ['extension:///' + uuid], -1, null);
+        let info = app.get_app_info();
+        let timestamp = global.display.get_current_time_roundtrip();
+        info.launch_uris(['extension:///' + uuid],
+                         global.create_app_launch_context(timestamp, -1));
     },
 
     ReloadExtension: function(uuid) {